Nuprl Definition : Rplus
0,22
postcript
pdf
left
right
== inr(inl(<
left
,
right
>))
latex
Definitions
inr(
x
)
,
inl(
x
)
,
<
a
,
b
>
origin
right == inr(inl(<left,right>)) right == inr(inl(<left,right>))